Search Results
What is $Prop$ in the calculus of constructions?
Gradualizing the Calculus of Inductive Constructions (Teaser)
Do Self Types make the Calculus of Inductive Constructions obsolete?
Prop I 2 Construction
Euclid's elements: proposition 1
Propositions as Types - Computerphile
Prop of Exponents
Euclid's Elements Book 4 - Proposition 11
The Structural Theory of Pure Type Systems
Euclid's Elements: Book 1, Prop 10
Euclid: Elements 1: Prop 3
Euclid's Elements: Book 3, Prop 1
